Section: Research Program
Quantitative stochastic homogenization
Whereas the approximation of homogenized coefficients is an easy task in periodic homogenization, this is a highly nontrivial task for stochastic coefficients. This is in order to analyze numerical approximation methods of the homogenized coefficients that F. Otto (MPI for mathematics in the sciences, Leipzig, Germany) and A. Gloria obtained the first quantitative results in stochastic homogenization [4] . The development of a complete stochastic homogenization theory seems to be ripe for the analysis and constitutes the second major objective of this section.
In order to develop a quantitative theory of stochastic homogenization, one needs to quantitatively understand the corrector equation (3 ).
Provided
They also proved that the variance of spatial averages of the energy density
The proof of these results, which is inspired by [64] , is based on the insight that coefficients such as the Poisson random inclusions are special in the sense that the associated probability measure satisfies a spectral gap estimate. Combined with elliptic regularity theory, this spectral gap estimate quantifies ergodicity in stochastic homogenization. This systematic use of tools from statistical physics has opened the way to the quantitative study of stochastic homogenization problems, which we plan to fully develop.